We present an extension of the lambda calculus with the letrec construct. In contrast to current theories, which impose restrictions on where the rewriting can take place, our theory is very liberal, e.g., it allows rewriting under lambda abstractions and on cycles. As shown previously, the reduction theory is non-confluent. Thus, we searched for and found a new property that resembles confluence and that is equivalent to uniqueness of infinite normal forms: skew confluence. This notion is based on the intuition (...) that some terms are better than others and that terms reduce to better terms. It states that if a term reduces to two other terms, the second of those terms can always be reduced to a term that is better than the first. Using skew confluence we define the infinite normal form of a term and show that the infinite normal form defines a congruence on the set of terms. We relate the lambda calculus plus letrec to the plain lambda calculus and to one of the infinitary lambda calculi. We also present a variant of our calculus, which follows the tradition of the explicit substitution calculi. (shrink)

Fluid socio-cultural ecologies that reflect historical events and their actors have led to particular religious groups being promoted or persecuted. This article explores how religiously minoritized youth are identified considering local and global contexts. I apply a phenomenological variant of ecological systems theory (PVEST) to understanding regularities and variations in development through a person-centered, relational, holistic lens that considers the intersection of multiple identities. Relatedly, I outline broad conceptual tools that center on how orientations to in-group vs out-group religious and (...) intersecting identities and related experiences align with a range of research methods to reflect such complexity. I suggest ways to study religious and spiritual influences of religiously minoritized youth that are specific to the faith tradition and particular youth’s circumstances in a holistic manner when these issues are a focal area of study, and when they emerge as relevant to other inquiries. Finally, I consider how understanding religiously minoritized youth, their peers, and mentors can be applied to educational, health care, and community settings to inform equitable practice and policy. (shrink)

The essay concerns the negative end of the political argument of the Republic, that injustice—the rule of unreason—is both widespread and undesirable, and that whatever shadows of virtue or order might be found in its midst are corrupt and unstable. This claim is explained in detail in Republic 8 and 9. These passages explain recognizable faults in recognizable regimes in terms of the failure of the rule of reason and the corresponding success of the rule of non-rational forms of motivation. (...) I will first look at degenerate regimes as they appear in a less systematic way in the Ship of State passage in Republic 6 and in the discussion with Thrasymachus in book 1. I then give a general overview of the system of degenerate regimes in book 8 to examine what exactly goes wrong with them and why, and explain how the process of degeneration ought be understood as the progressive decay of the rule of reason. Finally, I argue that a close look at this decay reveals something surprising: that degenerate regimes and characters feature weak versions of virtue, shadow-virtues that are based on appearances and held in place by force. Thus in the end the whole process of degeneration ought be understood as an extended conflict between reason and appetite. (shrink)

A legal obligation to conduct weapons reviews is a means by which the international community can ensure that States assess whether the use of new types of weapons in armed conflict would raise humanitarian concerns. The use of artificial intelligence in weapon systems greatly complicates the process of conducting reviews, particularly where a weapon system is capable of continuing to ‘learn’ on its own after being deployed on the battlefield. This paper surveys current understandings of the weapons review challenges presented (...) by in situ learning and outlines some concepts which may inform appropriate changes to existing weapons review processes. The main arguments made are that: a distinction should be drawn between learning capabilities that are limited to optimising existing behaviour and capabilities that extend to acquiring new behaviours; and the extent of a weapon system’s learning capabilities should be used as the basis for defining a schedule of weapons reviews. (shrink)

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

This essay explores care ethics and possibilities for caring otherwise through the lens of prefigurative praxis. It draws on the conceptualizations and critiques of care, care practices, and care futurism of writers, theorists, activists, and organizers from Black, Indigenous, and people of colour (BIPOC), disabled, and/or LGBTQIA+ communities, particularly those whose work is underpinned by disability justice and prison industrial complex abolition. It understands disability justice and abolition as integral to our ability to collectively respond to care crises in ways (...) that think beyond austerity, carcerality, and institutional forms of care. (shrink)

Appointment as a director of a company board often represents the pinnacle of a management career. Worldwide, it has been noted that very few women are appointed to the boards of directors of companies. Blame for the low numbers of women of company boards can be partly attributed to the widely publicized "glass ceiling". However, the very low representation of women on company boards requires further examination. This article reviews the current state of women's representation on boards of directors and (...) summarizes the reasons as to why women are needed on company boards. Given that more women on boards are desirable, the article then describes how more women could be appointed to boards, and the actions that organizations and women could take to help increase the representation of women. Finally, the characteristics of those women that have succeeded in becoming members of company boards are described from an international perspective. Unfortunately, answers to the vexing question of whether these women have gained board directorships in their own right as extremely competent managers, or whether they are mere token female appointments in a traditional male dominated culture, remains elusive. (shrink)

RÉSUMÉ: Il semble injuste, à la réflexion, de blâmer les agents pour les mauvaises conséquences non voulues de leurs actions. Le présent article montre au contraire que la pratique de blâmer les agents d’une façon différente en raison de circonstances pourtant fortuites est bel et bien juste après tout. Si les agents agissent de manière impeccable, ils prennent une «assurance morale» contre la malchance et se mettent ainsi à l’abri de tout blâme relatif aux conséquences non voulues de leurs actions. (...) Mais s’ils agissent mal, ils renoncent à cette assurance morale et s’exposent ainsi à être blâmés pour ces mauvaises conséquences non voulues. Le fait que les agents qui agissent mal renoncent intentionnellement à leur assurance justifie que nous les blâmions pour les mauvaises conséquences non voulues de leurs actions. (shrink)

It is widely agreed that Aristotle holds that the best moral education involves habituation in the proper pleasures of virtuous action. But it is rarely acknowledged that Aristotle repeatedly emphasizes the social and political sources of good habits, and strongly suggests that the correct law‐ordained education in proper pleasures is very rare or non‐existent. A careful look at the Nicomachean Ethics along with parallel discussions in the Eudemian Ethics and Politics suggests that Aristotle divided public moral education or law‐ordained habituation (...) into two types. One type is a defective form practiced by the Spartans, producing civic courage and similar defective virtue‐ like states motivated by external incentives. By contrast Aristotle endorses the law‐ordained musical education described in Politics 8. The chapter argues that Aristotle considers the well‐habituated state of proper pleasures in virtue to be best cultivated by this kind of musical education; and that this explains both his emphasis on good laws and on their scarcity. (shrink)

In Nicomachean Ethics 10.7, Aristotle says that the contemplative wise person living the happiest and most self-sufficient life will need other people less than a person living a life of practical virtue. This seems to be in tension with Aristotle's emphasis elsewhere on the political nature of human beings. I analyze in detail Aristotle's most elaborate defense of the need for friends in the happy life in Nicomachean Ethics 9.9 to see whether and how he resolves the need for friends (...) with the self-sufficiency of the happy life. The virtue-friendship described in the chapter does turn out to be more compatible with the self-contained unity of a happy life than other sorts of friendship, because collaboration in virtuous activities integrates the friend into one's activities. This is true even for contemplative friendship, where, as Aristotle suggests in the ornate final argument of 9.9, the friends collaboratively contemplate human nature and take pleasure in the goodness of human life. The unity achieved in this kind of friendship is an imitation of God's self-contemplative and self-contained unity. Nonetheless, I conclude, there is no evidence that Aristotle did not think that friendship was conditioned on human failings and so that friends would be less necessary for those leading the most excellent contemplative lives. (shrink)

An invitation to readers from every walk of life to rediscover the impractical splendors of a life of learning In an overloaded, superficial, technological world, in which almost everything and everybody is judged by its usefulness, where can we turn for escape, lasting pleasure, contemplation, or connection to others? While many forms of leisure meet these needs, Zena Hitz writes, few experiences are so fulfilling as the inner life, whether that of a bookworm, an amateur astronomer, a birdwatcher, or (...) someone who takes a deep interest in one of countless other subjects. Drawing on inspiring examples, from Socrates and Augustine to Malcolm X and Elena Ferrante, and from films to Hitz's own experiences as someone who walked away from elite university life in search of greater fulfillment, Lost in Thought is a passionate and timely reminder that a rich life is a life rich in thought. Today, when even the humanities are often defended only for their economic or political usefulness, Hitz says our intellectual lives are valuable not despite but because of their practical uselessness. And while anyone can have an intellectual life, she encourages academics in particular to get back in touch with the desire to learn for its own sake, and calls on universities to return to the person-to-person transmission of the habits of mind and heart that bring out the best in us. Reminding us of who we once were and who we might become, Lost in Thought is a moving account of why renewing our inner lives is fundamental to preserving our humanity. (shrink)

This paper is in part an introduction to Plato's late political philosophy. In the central sections, I look at Plato's Laws and Statesman and ask the question of how law can produce authentic virtue. If law is merely coercive or habituating, but virtue requires rational understanding, there will be a gap between what law can do and what it is supposed to do. I examine the solution to this difficulty proposed in the Laws, the persuasive preludes attached to the laws, (...) and suggest that they produce an inferior, passive mode of rational order that falls short of full virtue. (shrink)

Extant research on political corporate social responsibility (PCSR) has not yet addressed how the populist turn impacts PCSR theory and practice. This conceptual article analyzes how populism influences PCSR across a range of political environments. We draw on signaling and screening theories to develop a conceptual model that advances PCSR literature by proposing an information-centric approach. We highlight the necessity of high-quality information as an enabling condition for effective PCSR-related decision-making, and our model explains how the depreciation of information transparency (...) under populism impacts PCSR strategy. We thus contribute to PCSR literature with a new information-based theorization by showing how PCSR depends on the political environment and by enhancing our understanding of the role of the state in the development of PCSR strategies. (shrink)

What is happiness? Does life have a meaning? If so, is that meaning available in an ordinary life? The philosopher Zena Hitz confronted these questions head-on when she spent several years living in a Christian religious community. Religious life -- the communal life chosen by monks, nuns, friars, and hermits -- has been a part of global Christianity since earliest times, but many of us struggle to understand what could drive a person to renounce wealth, sex, children, and ambition (...) to live a life of prayer and sacrifice. Hitz's lively and accessible book explores questions about faith, sacrifice, asceticism and happiness through philosophy, stories, and examples from religious life. Drawing on personal experience as well as film, literature, history, biography, and theology, it demystifies an important element of contemporary culture, and provides a picture of human flourishing and happiness which challenges and enriches modern-day life. (shrink)

This paper is an update of the documents we have concerning the Acts of the Christian martyrs, focused on three main aspects: 1) the kind of acts we know of and their classification from the point of view of their historic value; 2) the versions or editions of the texts that are most accepted by scholars; 3) the relevance of the different parts that make up these documents in order to discern the original text from passages that were rewritten or (...) underwent later variations. In this way, the article offers an exhaustive list of the documents for use in researching Christian martyrs in the Roman period. (shrink)

Expressions designating collectives, such as “the committee” or “the ships in the port”, may be interpreted de re or de dicto, depending on context, according as they pick out collectives defined by their members or collectives defined by some criterion for membership. We call these E-collectives and I-collectives respectively, and in this paper we explore in depth the relationship between these two categories. In particular, we identify important respects in which they differ, regarding the nature of the dependence of the (...) collective on its members, the nature of the parthood relation in which the members stand to the whole, and, from an application perspective, the different methods used for identifying the two forms of collective from large spatio-temporal data-sets. (shrink)

In recent literature, panpsychism has been defended by appeal to two main arguments: first, an argument from philosophy of mind, according to which panpsychism is the only view which successfully integrates consciousness into the physical world (Strawson 2006; Chalmers 2013); second, an argument from categorical properties, according to which panpsychism offers the only positive account of the categorical or intrinsic nature of physical reality (Seager 2006; Adams 2007; Alter and Nagasawa 2012). Historically, however, panpsychism has also been defended by appeal (...) to a third argument based on considerations about the nature and observability of causation. This argument has not been much discussed in recent times. Here is a concise version from William James: "… the concrete perceptual flux, taken just as it comes, offers in our own activity-situations perfectly comprehensible instances of causal agency … If we took these experiences as the type of what actual causation is, we should have to ascribe to cases of causation outside of our life, to physical cases also, an inwardly experiential nature. In other words, we should have to espouse a so-called “pan-psychic” philosophy" (James 1911: 218). James here suggests that we have direct experience of causation in our own agency. He thereby directly contradicts David Hume, who famously denied that we have any experience of causation. James goes on to claim that if this experience is representative of causation in general, it follows that all causation is mental, and that panpsychism is true. This kind of argument for panpsychism can be called the argument from (experience of) causation. This chapter offers, first, a history of this argument and arguments closely related to it, and second, an analysis of the argument – is it valid, are its premises in any way defensible, and how does it relate to the other, more popular arguments for panpsychism from philosophy of mind and categorical properties? (shrink)

Ibn al-ʻArabī, 1165-1240; views on freedom; Sufism; Islamic philosophy.

The extracellular domains of several integral membrane proteins are released from the cell surface by a group of enzymes known as “sheddases” through a process called “ectodomain shedding”. Because many transmembrane growth and differentiation factors, including members of the epidermal growth factor (EGF) family that play a crucial role in development, require ectodomain shedding for proper action in vivo, proteolysis is now viewed as a regulatory mechanism in the developing embryos. Two recent reports by Zhao et al. provide evidence for (...) the role of cell surface proteolysis by an ADAM (a disintegrin and metalloprotease) in the development of murine lung.(1,2) Inhibition of tumor necrosis factor‐α converting enzyme (TACE, ADAM17) by the hydroxamic acid‐based metalloprotease inhibitor (TAPI), (1) or a targeted mutation in Zn2+‐binding domain of TACE, (2) disrupts two essential epithelial functions in lung development: branching morphogenesis and cytodifferentiation. Evidence for the role of ADAMs as sheddases in development and growth factor signaling is discussed. BioEssays 24:8–12, 2002. © 2002 John Wiley & Sons, Inc. (shrink)

Greek text, english translation and commentary on the surviving fragments of Empedocles (fragments as known in 1981, does not include more recent finds).

Contrary to Vaesen's argument that humans are unique with respect to nine cognitive capacities essential for tool use, we suggest that although such cognitive processes contribute to variation in tool use, it does not follow that these capacities arenecessaryfor tool use, nor that tool use shaped cognition per se, given the available data in cognitive neuroscience and behavioral biology.

There are obvious benefits to be gained from the study of logic: heightened ability to express ideas clearly and concisely, increased skill in defining one's terms, enlarged capacity to formulate arguments rigorously and to analyze them critically. But the greatest benefit, in my judgment, is the recognition that reason can be applied in every aspect of human affairs.

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

Traditional Chinese commentators rightly see that understanding Zhuangzi's way with words is the presupposition for understanding Zhuangzi at all. They are not sure, however, if Zhuangzi's words are super-effective or pure nonsense. I consider Zhuangzi's experience with language, and then turn to Heidegger's word of being to see if it may throw light on Zhuangzi's way of saying. I argue that a conversation between Heidegger and Zhuangzi on language is possible, but only by expanding Heidegger's notion of Gestell and through (...) a destruction of the dominant Confucian discourse that obscures Zhuangzi's way of saying. (shrink)

Introduction Max Horkheimer was born on February in Stuttgart. By the time he died, on 7 July in Nuremberg, he had played a decisive role in launching and ...

The philosophical problem of mental causation concerns a clash between commonsense and scientific views about the causation of human behaviour. On the one hand, commonsense suggests that our actions are caused by our mental states—our thoughts, intentions, beliefs and so on. On the other hand, neuroscience assumes that all bodily movements are caused by neurochemical events. It is implausible to suppose that our actions are causally overdetermined in the same way that the ringing of a bell may be overdetermined by (...) two hammers striking it at the same time. So how are we to reconcile these two views about the causal origins of human behaviour? One philosophical doctrine effects a nice reconciliation. Neuralism, or the token-identity theory, states that every particular mental event is a neurophysiological event and that every action is a physically specifiable bodily movement. If these identities hold, there is no problem of causal overdetermination: the apparently different causal pathways to the behaviour are actually one and the same pathway viewed from different perspectives. This attractively simple view is enjoying a recent revival in fortunes. (shrink)